Самая большая электронная библиотека рунета. Поиск книг и журналов

Theorem Proving in Higher Order Logics, 12 conf., TPHOLs'99

Автор: , Автор: , Автор: , Автор: , Автор:
Размер книги: 3.53 Mb

From Semantics to Computer Science: Essays in Honour of Gilles Kahn

Автор: , Автор: , Автор: , Автор:
Размер книги: 4.04 Mb

Interactive Theorem Proving and Program Development

Автор: , Автор: , Автор: , Автор:
Категория: AI, knowledge
Размер книги: 3.17 Mb